[Binary recompiler][C to HDL] – Conversion of C-like programs into hardware description languages[Code generation] (compiler) – Converting computer code into a machine readable form[DMS Software Reengineering Toolkit] – a source-to-source compiler framework using explicit pattern-directed rewrite rules